Slack-based Sensitivity Analysis for EDF

Real-time systems are characterized by several nonfunctional properties which are used to describe the temporal behaviour. Traditional schedulability analysis allows to determine whether the timing requirements are going to be met or not. On the other hand sensitivity analysis is also capable to measure the admissible variation to the non-functional properties. This is extremely important in practice since the non-functional parameters are often determined with a large margin of uncertainty. The purpose of this paper is to lay a basis for the sensitivity analysis for EDF which is comprehensive of the three basic properties (computation times, deadlines and periods) using a common methodology.